Incorporating Audiological Measurements into Alzheimerʼs Diagnosis

Incorporating reliability measurements into the predictions of a recommender system

In this paper we introduce the idea of using a reliability measure associated to the predictions made by recommender systems based on collaborative filtering. This reliability measure is based on the usual notion that the more reliable a prediction, the less liable to be wrong. Here we will define a general reliability measure suitable for any arbitrary recommender system. We will also show a m...

Incorporating diagnosis and treatment of hyperhidrosis into clinical practice.

Proper billing and coding are essential to document the diagnosis of hyperhidrosis and to assure proper reimbursement for treatment. Providers should become familiar with the payment policies of local health plans to streamline the preauthorization process that is often needed for many treatments commonly used for hyperhidrosis. Having a preprinted letter of medical necessity and patient intake...

Incorporating Environmental Measurements in Navigation

Extended missions in unknown regions present a signi cant navigational challenge for autonomous underwater vehicles (AUVs). This paper investigates the long-term performance of a concurrent mapping and localization (CML) algorithm for the scenario of an AUV making observations of point features in the environment with a forward look sonar. Simulation results demonstrate that position estimates ...

Incorporating phosphaalkenes into oligoacetylenes.

Incorporating Tables into Proofs

We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we shall call the collection of such previously proved results a table and use a partial order on the table’s entries to denote the (provability) dependency relationship between tabled items. Tables can arise in a number of situations: in automated deduction v...